Programming languages are languages